#include "types.h"
#include "kernel.h"

extern void (*taskFunction)(void *);
extern void *taskArgument;

void OSInit(void)
{
}

void OSStart(void)
{
	taskFunction(taskArgument);
}
